Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1

Source URL: www.cs.tau.ac.il

• Mathematical logic
• Programming paradigms
• Algorithm
• Theoretical computer science
• Axiom
• Euclidean geometry
• Logic programming
• Constraint satisfaction
• Constraint programming
• Satisfiability modulo theories
• Foundations of geometry

Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th

Source URL: ceur-ws.org

• Constraint programming
• Operations research
• Constraint satisfaction problem
• Local consistency
• Mathematical optimization
• Heuristic
• Integer programming
• Constraint satisfaction
• Search algorithm
• Local search
• Look-ahead
• Decomposition method

CS261: A Second Course in Algorithms Lecture #9: Linear Programming Duality (Part 2)∗ Tim Roughgarden† February 2,

Source URL: theory.stanford.edu

• Mathematical optimization
• Convex optimization
• Linear programming
• Operations research
• Duality
• Weak duality
• Strong duality
• Constraint
• Duality gap
• Semidefinite programming

Microsoft Word - FE & Emis Opt - IEEE Journaldoc

Source URL: web.eecs.umich.edu

• Mathematical optimization
• Operations research
• Convex optimization
• Stochastic optimization
• Stochastic programming
• Control theory
• Duality
• Constraint
• Work
• Optimal control
• Linear programming
• Relaxation

¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

Source URL: resources.mpi-inf.mpg.de

• Automated theorem proving
• Model theory
• Formal methods
• Constraint programming
• Resolution
• Skolem normal form
• Lambda calculus
• Satisfiability
• Boolean satisfiability problem
• Conjunctive normal form

Other nature information English version – SOSI standard 4.0 Other nature information English version – SOSI standard 4.0

Source URL: www.kartverket.no

Geometric Optimization Equinoctial School on Geometric Computing ETH Zurich, 15. { 26. SeptemberBernd Gartner

Source URL: people.inf.ethz.ch

• Mathematical optimization
• Operations research
• Linear programming
• Convex optimization
• Combinatorial optimization
• Simplex algorithm
• Feasible region
• Simplex
• Polytope
• Quadratic programming
• Constraint
• Bounding sphere

[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. *

Source URL: conal.net

• Operations research
• Classical mechanics
• Constraint satisfaction
• Energy minimization
• Mathematical optimization
• Derivative
• Control theory
• Constraint programming
• Constraint
• Generalizations of the derivative
• Loop quantum gravity
• Constraint logic programming

Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson

Source URL: people.mpi-inf.mpg.de

• Logic in computer science
• Automated theorem proving
• Formal methods
• Theoretical computer science
• Constraint programming
• Satisfiability modulo theories
• Z3
• Isabelle
• Formal verification
• Proof assistant
• Automated reasoning
• E theorem prover

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e

Source URL: ceur-ws.org

• Operations research
• Mathematical optimization
• Constraint programming
• Logic in computer science
• NP-complete problems
• Topology
• Satisfiability modulo theories
• Dynamic programming
• Semidefinite programming